Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
931	Verification of solid state interlocking programs Phillip James1 , Andy Lawrence1 , Faron Moller1 , Markus Roggenbach1 , Monika Seisenberger1 , Anton Setzer1 , Karim Kanso2 , and Simon Chadwick3 1 Swansea Railway Verifi Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2013-12-12 10:55:19 Propositional calculus Predicate logic Model theory Formal languages Ladder logic Model checking Logic programming First-order logic Interlocking Logic Mathematical logic Mathematics
932	Verification of Scheme Plans using CSP\|\|B Philip James1 , Faron Moller1 , Hoang Nga Nguyen3 , Markus Roggenbach1 , Steve Schneider2 , Helen Treharne2 , Matthew Trumble2 , and David Williams4 1 Swansea University, UK Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2013-11-29 11:10:29 Communicating sequential processes Workflow technology Mind Railway signalling Logic in computer science Ethology Model checking Workflow Interlocking Concurrent computing Computing Process calculi
933	Algebraic Simulations Jos´e Meseguer1 , Miguel Palomino2 , and Narciso Mart´ı-Oliet2 2 1 Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2007-07-04 15:15:07 Theoretical computer science Applied mathematics Constructible universe Bisimulation Mathematics Temporal logic Kripke structure Model checking
934	Notes on Model Checking and Abstraction in Rewriting Logic∗ Jos´e Meseguer Miguel Palomino Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2004-08-30 16:16:42 Deduction Linear temporal logic Algebraic topology Model checking Entailment Admissible rule Abstract interpretation Kripke structure Interpretation Logic Mathematical logic Temporal logic
935	Applying automata and games to simply typed lambda calculus Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-02-25 10:42:23 Computer science Models of computation Formal methods Model checking Simply typed lambda calculus Lambda calculus Finite-state machine Model theory ALGOL Theory of computation Theoretical computer science Automata theory
936	Model Checking Games for Branching Time Logics Martin Lange and Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:55:06 Logical syntax Metalogic Mathematical logic Propositional calculus Interpretation Well-formed formula Entailment Symbol Partition Logic Mathematics Formal languages
937	Local Model Checking Games (Extended Abstract) Colin Stirling? Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:04:11 Model checking Modal μ-calculus Temporal logic
938	An introduction to deciding higher-order matching Colin Stirling [removed] LFCS School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-22 09:12:38 Computer science Automata theory Formal methods Model checking Simply typed lambda calculus Model theory Finite-state machine Mathematical logic Lambda calculus Models of computation Theoretical computer science Theory of computation
939	Model Checking Uncertainty about Probability Jan van Eijck CWI & ILLC, Amsterdam LIRA Seminar, April 9, 2013 Abstract Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-17 05:30:28 Non-classical logic Philosophical logic Model theory Probabilistic logic Probability Lottery Kripke semantics Logic Mathematical logic Mathematics
940	THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli Add to Reading List Source URL: lms.uni-mb.si Language: English - Date: 2000-08-29 08:41:20 Systems engineering Theoretical computer science Diagrams Formal methods Binary decision diagram Model checking Formal verification Boolean function Verification Boolean algebra Mathematics Mathematical logic

UPDATE